solving trigonometric identities